/
  • Search Results for 'Typepair ;functionconsh ; I( ; )returns(pair );functionlefth ; I(pair )returns( );axiom(8h ; Ia: ;b: left(cons(a;b))=a);typesequence ;functionlengthh I(sequence )returns(int);functionemptysequence'